(!(x1 && x0) || !x0) && !(x1 && x0 && (!x2 || x1)) && (x2 || x1)